منابع مشابه
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverability remains decidable for them. We also extended P/T nets with the capability of nets to replicate themselves, creating a new component, initially marked in some fixed way, obtaining g-RN systems. We proved that these...
متن کاملEstablishing Restricted Expression of Caveolin-1 in HIV Infected Cells and Inhibition of Virus Replication
BACKGROUND Caveolin-1 (Cav-1) is the major protein of the caveolae and plays a role in multiple cellular functions and implicated to have anti-HIV activity. Regulated expression of Cav-1 is important for safe and effective use in order to exploit Cav-1 for HIV therapeutic applications. METHODS A series of Cav-1 and GFP expression vectors were constructed under the control of the HIV LTR for c...
متن کاملFork rotation and DNA precatenation are restricted during DNA replication to prevent chromosomal instability
متن کامل
Spatiotemporally restricted arenavirus replication induces immune surveillance and type I interferon-dependent tumour regression
Immune-mediated effector molecules can limit cancer growth, but lack of sustained immune activation in the tumour microenvironment restricts antitumour immunity. New therapeutic approaches that induce a strong and prolonged immune activation would represent a major immunotherapeutic advance. Here we show that the arenaviruses lymphocytic choriomeningitis virus (LCMV) and the clinically used Jun...
متن کاملOlig2-Regulated Lineage-Restricted Pathway Controls Replication Competence in Neural Stem Cells and Malignant Glioma
Recent studies have identified stem cells in brain cancer. However, their relationship to normal CNS progenitors, including dependence on common lineage-restricted pathways, is unclear. We observe expression of the CNS-restricted transcription factor, OLIG2, in human glioma stem and progenitor cells reminiscent of type C transit-amplifying cells in germinal zones of the adult brain. Olig2 funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2012
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.335.6071.892-c